постусловия

постусловия

 

постусловия
 —
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Тематики

  • информационные технологии в целом

EN

  • tail conditions


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "постусловия" в других словарях:

  • Контрактное программирование — (design by contract (DbC), programming by contract, contract based programming)  это метод проектирования программного обеспечения. Он предполагает, что проектировщик должен определить формальные, точные и верифицируемые спецификации… …   Википедия

  • Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для …   Википедия

  • STRIPS — Эта статья о системах автоматического планирования, которое является подразделом Искусственного интеллекта STRIPS (Stanford Research Institute Problem Solver)  это автоматический планировщик, разработанный Ричардом Файксом и Нильсом Нилсоном …   Википедия

  • Принцип подстановки Барбары Лисков — (англ. Liskov Substitution Principle, LSP) в объектно ориентированном программировании является специфичным определением подтипа предложенным Барбарой Лисков в 1987 году на конференции в основном докладе под названием Абстракция данных и… …   Википедия

  • Spec Sharp — Эта статья или раздел  грубый перевод статьи на другом языке (см. Проверка переводов). Он мог быть сгенерирован программой переводчиком или сделан человеком со слабыми познаниями в языке оригинала. Вы можете помочь …   Википедия

  • Принцип подстановки Лисков — Принцип подстановки Барбары Лисков (англ. Liskov Substitution Principle, LSP) в объектно ориентированном программировании является специфичным определением подтипа предложенным Барбарой Лисков в 1987 году на конференции в основном докладе… …   Википедия

  • логика в компьютерных науках —         ЛОГИКА В КОМПЬЮТЕРНЫХ НАУКАХ способы прикладного использования логики, подразделяемые на четыре основных направления. Первое логика как теоретический инструмент при проектировании вычислительных устройств. Второе реализация логических… …   Энциклопедия эпистемологии и философии науки

  • СЕТЬ ПЕТРИ — математическая модель дискретных систем с параллельно функционирующими и асинхронно взаимодействующими компонентами. Предложена немецким ученым К. Петри в начале 60 хгг. Графически С. П. представляет собой двухдольный ориентированный мультиграф с …   Энциклопедический словарь по психологии и педагогике


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»